Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
📐Mathematical Art
No Bullshit Guide to Statistics prerelease
minireference.com·1h
🧮Kolmogorov Bounds
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
✅Format Verification
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·3d
🔢Reed-Solomon Math
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
Categorical systems theory
topos.institute·7h
🔀Category Theory
Title TBA
usenix.org·13h
📄PostScript
The Best Ways to Digitize Your Notes
lifehacker.com·6h
📄Document Digitization
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🔲Cellular Automata
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·1d
⚙️Proof Engineering
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·8h·
Discuss: Hacker News
📄PDF Internals
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2h·
Discuss: Hacker News
📐Linear Algebra